PosetSig{i}  Type{i'} 

latex

Up	poset sig object directory
Definitions of Statement	PosetSig
Definitions	PosetSig, t  T
Lemmas	bool wf